I’ve just ordered from PPS.
I also contract a lot to pinball heaven and I don’t think Phil orders in small quantities.
You will be best ordering yourself or asking someone who is Off to Texas to grab you one!
PPS Have horrendously expensive shipping. Then you’ll pay another 20% in duty.
These charges have to be paid if Phil orders or you order.