ah of course! Bosch do 8020 stuff... That might well be the one! I'll take a look.
:-)