Well I ended up paying heaps for a "universal" one anyway (comes with 6-8 different plugs so at least I can keep it and use it on future laptops too. Oh and it has a car charger.

So I assume that's what they were going to sell me, rather than a specific one for the model.