Does this Seiko 6138-8020 look original?

Hey!
Just found a panda 6138-8020 for sale. It’s all original and recently serviced according to the owner.
I really don’t know what to look for when it comes to seiko watches and would gladly take som help from you guys that know more!

here’s some pictures I got!