OK, looked on our system earlier today, and we will be doing three different washers. There are two with the same model number, one ending with 'c' and the other ending with 'cx' so I'm assuming one is white and the other is stainless steel. These are £499 and £549 respectively. Lastly is a higher end model at £599. Price wise, pretty OK, they seem to be in the mid to high end bracket, around the likes of 'germamic' counterparts such as aeg and bosch.
We were supposed to be getting them this week, but our main warehouse receives them on the 8th of this month, so they are very imminent indeed!
Can't wait to finally see one!