Buying a portable gas wok burner

It has been a bit of a saga - trying to buy a wok gas burner to be able to demonstrate Asian cuisine to small groups. Amazon threw up some options, but there didnt seem to be enough information to judge the quality of the offerings, and they dont deliver heavy items to Ireland. I tried a number of local catering supply companies - the only one of any significance wanted to charge me €1400 plus VAT for the privilege! I went back to the Web and went to a couple of the suppliers who sell through Amazon. The first of these didnt bother answering the query I sent to them (via a contact form on their website!) The second didnt respond to the email that I sent - and at this stage I was becoming more than slightly irate. Eventually a very nice man rang me from The Cow Shed - very promptly after my sending off my query! He answered all my questions knowledgably, and was very apologetic telling me that he would have to charge me £20 extra for delivery to Dublin... So, I'm now awaiting my snazzy looking 3.7kw portable gas 'Hot Wok' burner - apparently it has been shipped within 12 hours of me ordering it - hopefully it will do the trick nicely - time will tell...