Same; I’ve never seen an electronic device used to tune a piano either and I’ve been around musical instruments my entire life (not a pro myself, but I’ve friends and family who are composers and I’m an enthusiast myself). I just know digital tuners exist.