Just saw a NOTAM that says Possum Kingdom airport (F35) is closed until Aug. 1st. I was planning to fly up there this weekend - anybody know more about this? Thanks, -DC