Michael was a very responsive host and both easy and pleasant to deal with. His place is pretty much as advertised, and if you're looking for a centrally-located place that can easily accommodate a large group, then this is a great option.
That said, I wouldn't say the place is super comfortable if you expect to spend some relaxing time at the house. We (2 adults, 3 kids) didn't have much use for the bus or trailer (although the kids thought they were cool), and found the house itself to be a little cluttered with some things that needed some upkeep, and there's a decent amount of ambient noise given that it is right next to the highway. Nothing that I'd view as a deal breaker if I were going for a fun few days in Austin with friends, but not the most comfortable place to be, especially with kids.