I'm not sure about that Fhalfdim one...
yep, that's a fine choice. might even say B(b5)/F. because there's the feeling that they just dropped that one note down. Doesn't help that the vocal sings another F# here but that's ok