My son has been using Ottostein from Txx Lxx for many years. We bought it because it was on sale. I couldn't find the model number from the piano. I remembered it was a Korean brand, but not a Japanese brand. Can anyone tell me if this is a good brand? Thanks in advance.