I would move the hot tub out at least enough to not have it hang over the tan ledge area. They mention cartridge filter but no size. Get at minimum a 525. They mention heater but no size. Get a minimum 400K. You have a salt system, make sure they seal the coping. If you go paver decking, I would...