How much is Dave Thomas worth