“Is the Lenovo ThinkPad USB-C docking station compatible with the S415, model 20319? If not, is there a docking station available for this model?”