I know that auction only had a couple hours left when I found the item number. Not sure how quickly you want to get your trike running again, but he will undoubtedly offer another one of these carbs. I bought one carb from him in auction and only paid $18.50 + freight.
I bought 3 of these carbs from him just for spare parts. The choke plungers are discontinued and if you can even find them those cost more than buying a complete carb