Where the heck does the name F5 come from?

I got asked this question today. I've been around here long enough to have heard all the supposedly "true" origins of the company's name. The most frequent assumption I've heard is that the company i...