I've got the Universal's right here Patrice, it does indeed have 80/12's in it.
Red tops? I've never heard of red tops. The green tops are the Schmetz piecing ones, and blue for denim (though I didn't find those much different).
Glad you're back safe and sound tlrnhi!