GAI only has one published arrival, which is from the south. I'll be coming into DC from the northwest, so I am not sure what fix to file. I've never flown into the SFRA, and would prefer not to get re-routed at the last minute to unfamiliar fixes. One possibility is to file through one of the SFRA gates, LUCKE or WOOLY. But as I understand, these are VFR gates, so I am not sure if that would work for IFR. Any wisdom from pilots who have been there?