Question Author
No dice, but further searching comes up with this nice solution.
If you press and HOLD the full stop key, a selection of alternative punctuation marks comes up, including the single inverted comma. Slide your finger to the mark you want, and there it is... (Works on gboard, and allegedly on other Android keyboards, but might not work on other systems).
That'll do me, so thanks all round.
BillB