If I’m going to look at the S5, I should, on balance, also consider the 435i/435i xDrive, since they made them in manual as well. I prefer the M235i, but there’s no harm in keeping my options open. As it stands:
BMW M235i/M240i
BMW 435i/435i xDrive
Porsche Boxster 981
Audi TT RS Gen 1
Audi S5 V6T
Jaguar F-Type