I remember in the late 70's and early 80's whenever my parents went to a mall, I'd go and see if it had an arcade and many did called Aladdin's Castle with usually several pinballs. Those days are long gone and can't remember the last time I saw a pin in a mall.