What nicknames does Paul Roos go by?

Paul Roos goes by Roosy.