Owain wrote:

I thought all numbers in 02x were three-digit code and eight-digit local
number?

You're right, it should be presented as 023 9261 5142

Does dialling 615142 when in the 02393 'area' actually get you a
connection?

Not to his company, and it probably doesn't even when dialled from the
02392 'area' ...