KKP, not RD, and not a true Red Mammon. The term "mammon" is overused to death these days, to describe almost everything from a regular parrot, to KKP, to SKKP. A true Red Mammon from the Happy Breed Farm in Taiwan comes with a certificate, and is micro-chipped. They also cost $1,000 or more, so at least in regards to ones wallet, it does make a difference as to what one is getting.
Here's a Kavalan Red Mammon for sale.
https://www.monsterfishkeepers.com/forums/threads/9-kavalan-red-mammon.702194/#post-7914725
There are many high quality SKKP on the market, but IMO your fish, and the rest in that shop tank are KKP at best.