[twic]

Thanks! Now i know what i'm looking for, it's much easier to google. Here's a castle switch, with much smaller battlements, that you can buy:

https://www.alliedelec.com/-t4-0122/70329688/

And here's one you can print (the plastic button of one, at least):

https://i.materialise.com/shop/item/f16-flightstick-dms-cast...

Plus a boat switch button you can print:

https://www.shapeways.com/product/KUZB6VZAM/f-15-boat-switch...

I notice that on the F-15 throttle, there is a switch below the boat switch that is sort of its inverse - raised in the middle and sloping down at the ends. I would guess that it's different so that the pilot can easily tell which is which.