Launching in July? (Public holidays)

Hey everyone! We are gearing up to launch in late June / early July... I wanted to check in with the US-based community members here: around July 4th, what is the holiday people are taking? What is the best day to launch around July 4th? Way before? Days after? How many? Thanks from Berlin, Germany! Julius