Thank you both for the clarification.

I looked at https://electrum.readthedocs.io but could not see any information on how to change server. In the wallet I see Tools > Network > Overview. Shall I un-tick "Select server automatically" and select a server from below "Other known servers"? Is that the right way to change server?

Also, I am wondering, since the fee of the transaction is so low,  14.0/vB: is there any chance at all that a server  would "pick up" this transaction?

PS the explorer I was looking at was mempool.space.