Core Grafx UK power supply advice please!

[goregrafxuk]

Hi,

I live in the UK and I've just bought my first Japanese Core Grafx console.  I found some UK power supplies on eBay that say they can be used with the Core Grafx, but I just wanted to check that I can definitely use a 3-pin PSU like this, instead of using the original with a step down converter.

Example of a PSU I've found for sale that I'm thinking of buying - https://www.ebay.co.uk/itm/9V-DC-Mains-AC-Adaptor-Power-Supply-for-JAP-Core-Grafx-Console/143298772453?hash=item215d45bde5:g:LDYAAOSwBYddI2eG

Any advice would be appreciated, thanks

[Necromancer]

The mA is a bit high (1000mA instead of 800mA), but that doesn't really matter.  It's 9 volt, center negative (not listed but shown in the pictures), and enough amps, but it doesn't say what the tip size is.