We will be taking our DS (1) on his first cruise in November. We are driving to the port and will have plenty of room in our vehicle. Just wondering what the best stroller would be for the cramped Cruise hallways and elevators. We have a Bob and while we love it, it can be bulky and it is a...