I see it's been a while since you posted, but I just want to ask—did you end up finding a good cement mixer? I'm also in the market and wondering if hiring one is better than buying, considering how often it’ll be used. If anyone has tips on reliable sources or pricing updates, that would be really helpful right now.