@XDm525Forty Yes, they are discontinued.
To answer your other question, yes, if you want RAL8000 it's most likely being looked at with scrutiny, so get it now. There is a healthy code attached to most of the AR15 items, along with the sale price, so I would jump on that spicy German Mustard ASAP if I were you.
At best, they would be reintroduced for limited runs if we get enough requests, but they'd be at a higher price.