RIP Paul Thomas