Hi there,
I am not sure if this will help, but i was chatting with a customer last week about a job, and he mentioned a machine that he uses on his mattress at home, due to his children having allergies and thhe like.
He imported a machine from America, called a Rainbow vac, he said that they generally retail around £1300, but he picked a new one up for around £700.
He said that he had to buy a transformer, but it was well worth the money.
It may be worth you doing a search on google.
I hope that it helps.
Best wishes,
Neil