Owain wrote:

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

Yo'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 in the 02392 area either!