Comment by bigfatkitten

Close! Costco is 5250, which has many similarities.

They are a very famous AS/400 shop.