Flying JFK to SJC tmrw leaving at about 6:30pm, is JFK terminal 5 busy enough around 5ish that its worth it to get the faster Security line? how long on average is JFK security around 5:30pm weekdays, and is that worth $15 (or $90 for a bigger seat + even more speed)? I saw some inconsistent responses elsewhere on the web and was hoping for a regular JFKer's input.