I would concur with Nibj and Tradewinds. Pre-Covid, we sailed from St. Thomas to JVD numerous times and have never had an issue. I wouldn't say we ever got the welcome wagon, but no grief either. Conversely, our customs experience at West End in 2020 was visibly hostile.