You are indeed lucky to have such a generous employer!!!
If you want a comparison (done here in Australia by Greg and I) have a read of:
They both have their pluses and minuses.... But personally I prefer the Hottop. Both are available from us at www.thingscoffee.com.au and the Gene is available from other site sponsors as well. *We have both in stock.
The units sold here in Australia are to full Australian specification.... which cant be guaranteed if you purchase one overseas (often much cheaper..... but that is the 110V model.....) and you wont get the warranty and backup you will get if purchased locally.
Good luck with your purchase.