Yep, it's the correct building. It must have been re-roofed fairly recently. The other building has always been the Service Building to support the Campground operations and .... maybe they need a new roof, too. Years ago after the trains had stopped and before the cars were turned into Pleasure Island Ticket Booths they sat in that building and later they were just tossed outside to make room for golf cart repair. There are some train fan groups that purchased the remaining trains and are restoring them (hopefully) but I haven't seen or heard about their progress. It would be nice if somewhere one full train existed.
If you've read much about these trains while pretty they were loaded with design issues - insufficient road bed, undersized rails, undersized water tank, poor maintenance and poor/dangerous layout (too many road crossings) etc. I think they the wheel trucks didn't pivot either contributing to the jerky ride.
That all said, I love'em! Nothing some $$$ couldn't have fixed.