you seem to know your cars :)
Yes the Barracuda is a 273 HP car and a non Formula S it is an incredible car that I purchased this past July from a 75 year old guy that owned a body shop. he repainted the car and it is super straight and in great shape all around including the undercarriage.
the "lid collection" has been there for 25+ years. I bought most of them NOS at swap meets to hang in my garage.
The GTO is a one owner all original unrestored tri power 4-speed convertible in unbelievable condition.
The T/A challenger is my wifes car, she has owned it 20+ years now.
we do have a few others, some we have owned 40+ years.