Don't believe it these are pretty useless except for bending gas pipe! The pipe needs to be thick walled and soft. Also the dies are designed for standard gas and waterpipe sizes not the same as stainless. If you want one though there are generally plenty available on ebay, maybe this shows how useless they are.
I don't know how good they are for bending SS pipe but the ones available in the UK certainly are compatable with normal marine tubing sizes as they have imperial sized dies.
They cost a bit over £100 from various suppliers.
15mm and 22mm stainless tubing is certainly available in the UK and that will bend ok with a standard heavy duty plumbing bender.