I've been pleased with those very choices in my 2000 Fatboy (Spectro GL-1 being a 5 speed). There are other good choices, Lucas, Redline, Amsoil,etc. but that being said you're in good company.
I was especially impressed with the trans lube, better, quieter shifting. Ride safely.
Ishmael

A friend traded off his old bike early to wait for the New bike to come in. His old trade-in had RE sold by then.
Picking up his 08 shark-nose and rode it home. Calling me and In a HUFF to see IF he could get a ride back home IF things went SOUR..
Asking what the problem was: Low and 5th are NOISY and I'm Not Happy..... I'm Taking it back...

I asked IF he would try Redline Heavy Shockproof FIRST... Reluctantly he gave it a try (I always have x-tra quarts on hand).
Two hours went by and I was getting worried he Might do something Dumb, A proud TOUGH retired marine he is...

A call came about that time THANKING Me for the Redline saying IT (his tranny) was quiet as he expected it to be in the first place...

Now, I have used Redline Heavy Shockproof for all my many years and Bikes.

I've run the same set up with no complaints. Only difference is this time I got some spectro primary at the Indy with the Tranny fluid to save me a stop at the dealer (already had an oil filter). I didn't notice that much between formula+ and spectro primary to be honest. I've been happy with both.
Probably will continue to use whichever is more convenient.