Text this: Coverage Analysis for RIS-Assisted Two-Tier HetNets With Repulsion