If anyone is interested the two printers are exactly the same, one is just a rebadged version of the other.
I have found a toner refill supplier. click here
All three colours and black (enough to refill high capacity cartridges twice) for 114 euros plus 21 euros postage from Germany. You can pay with PayPal.
Apparently the cartridges have bungs so refilling is easy and there are no chips to fiddle with.