I’d second what @Sangoma says about the Olympus 9mm BCL - yes it’s tiny and for the price you think you can’t go wrong but it’s f8. That’ll turn out to be really restrictive ( I had one, briefly ).
Personally I’d go for the Samyang 7.5mm FE - it’s f2.8 so you can chuck it one, set MFD and off...