Assessing the Physical Security of IDFs with PSATool: a Case Study