The printer may have a switch on it to flick between 110 and 220V inputs (it might even be autosensing... most laptop power supplies are). In which case, he'll just need a plug adapter.
You could botch it by getting a UK to US (step down) adapter, ripping out the transformer and connecting it up the other way. You'd need to buy a Venezuelan plug and a UK socket though.