These are all I could find off hand.  The first one may work ... the second from Turbo Squid is of course pricey.

When the turbosquid models are good you can sort of understand the high prices, but the really sloppy stuff there is just as expensive. The proportions on that house are ... shall we say... interesting ;)
There are a few possibles at Google3Dwarehouse (sketchup models). If they are well made models they should convert to obj without too much drama.

https://3dwarehouse.sketchup.com/model.html?id=5b901a75bc9b8121198ce09b591745ff

https://3dwarehouse.sketchup.com/model.html?id=9bfc4fa5f5796b836539c7d36b84e148

https://3dwarehouse.sketchup.com/model.html?id=46333536c0c83aa99c7cb1dd8b479b8b