all depends on your budget... how much? there are options over 35 watt but they're not cheap..
you could make yourself a custom setup for a cheap price. i made a 55w(45 bulb watts) for pretty cheap... less then 100 bucks. if you make it hardwired(no battery) you can do it even cheaper.
if you want to build there are tons of setups you can draw inspiration from and there are plenty of us here that have done it and can give you advice!
i know very well your a big polarion fan... for 1000 bucks have you trued to find a used polarion? i think youd be very happy... and it would be easier with intl shipping.
as for the costco im not sure where to buy it i dont think its made anymore?
there are so many 35 watt hids if you just do a search with google. if your not from the USA it may limit your choices due to shipping.. if you would need someone to help you with international shipping im sure there are plenty of people here who would help and i may be able to help also..