Thanks guys, in the end I drained the sump [ but not the sump pan ] and after that there was still about a half cup in there, not a Starbucks Grande worth though, I mean an English teacup because I'm in the UK of course. Anyway, job done and thanks for all of the advice.