We got an email copy of the itinerary, including ticket numbers. I can view the reservation online, but not see or change seats, etc. Half of the time I try to log into my account from my computer I get "oops our servers are wonky" - is that typical?

I'd like to make sure we get TSA pre-check before heading to the airport, but on the other hand pre-check doesn't seem much faster than the regular line at JFK T5 according to https://jfkairport.com/

Is the premium security line usually any faster than the regular or pre-check lines?