Hi, i've ordered the same parts 2 years ago, except the motor. At that time, the seller "forestcart" on eBay had some. The hall sensor should be sent from the U.S., arrived as "speed pak" after arround 7 days, i guess from China.
The speed sensor is another thing, found out, it's used in different other carts with a Advanced Motor. I took the cheapest one for Clubcar DS (20$). The solenoid was offered in U.S., but cheaper in China. It arrived after ~ 17 days as "speed pak" also.
I still have a new sensor hall here and you could get it for free, but due Corona, int. shipping is too expensive
https://www.ebay.com/itm/Club-Car-DS...-/172824055276