This is a valid point. Dealers cannot write up an RO as “customer states perform TSB XX-XXXX.”. It needs to be written up by customer concern.If its your first time seeing them with the issue then I would recommend not bringing up any of the SSMs or TSBs, some dealers might see that as you having read about it somewhere and trying to get something fixed that isn't actually an problem. That said, if they don't find any issues the first check and you're 100% certain there is an problem, that's the time to say "look, I hear the clunk every day driving the truck and it's clearly an issue since I've seen others who have had their shocks replaced under SSM (blah), so please recheck using the information provided by Ford to properly diagnose the clunk"
So in practice they should run the symptom code in the system, see the service message, and go from there. And to your point, if they call you back and say “no problem found” (NPF), then I would do exactly as you stated.